M sends on link l
== deq-member(IdLnkDeq;l;map(p.2of(p);1of(1of(2of(2of(2of(2of(2of(M))))))))) 

latex

Definitions	2of(t), 1of(t), map(f;as), IdLnkDeq, deq-member(eq;x;L)
FDL editor aliases	ma-sends-on